Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
471	CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematical proof RSA PP Provable security Cryptography Mathematics Mathematical logic
472	RADOSLAV KIROV · http://radokirov.com · (Jurong West Street 41, Lakeshore #09-54, SingaporeEMPLOYMENT Nanyang Technological University, Singapore Add to Reading List Source URL: radokirov.com Language: English - Date: 2011-02-05 07:00:37 Association of American Universities Association of Public and Land-Grant Universities Committee on Institutional Cooperation North Central Association of Colleges and Schools University of Illinois at Urbana–Champaign Urbana Illinois Champaign Illinois Champaign–Urbana metropolitan area Mathematica Mathematical software Geography of Illinois Champaign County Illinois
473	Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gr´egoire1,3 Santiago Zanella1,3 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Function XTR Computability theory Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Functions and mappings
474	Getting your practice online with Sage Phase 1 Get your practice ready Get your practice Add to Reading List Source URL: sageone-ie-wordpress.s3.amazonaws.com Language: English - Date: 2014-02-05 12:09:30 Sage Email Cloud computing Online shopping Computing Mathematical software Software
475	dynamic software & engineering Software optiSLang 4 Sensitivity analysis, multiobjective and Add to Reading List Source URL: www.dynardo.de Language: English - Date: 2014-12-19 09:54:14 Mathematical sciences Multidisciplinary design optimization Global optimization Computer-aided engineering Genetic algorithm Surrogate model Sensitivity analysis Multi-objective optimization Optimal design Mathematical optimization Statistics Science
476	MEETINGBRIEFS>> IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND GAMES \| 18–21 AUGUST 2010 \| COPENHAGEN After describing his methods with dozens of mathematical formulae, Christian Thurau’s next slide Add to Reading List Source URL: www.johnbohannon.org Language: English - Date: 2010-12-28 12:16:07 Application software Blizzard games Windows games Competitive video gaming Video game bot World of Warcraft Artificial intelligence Turing test Massively multiplayer online game Software Video game development Digital media
477	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: ftp.heanet.ie Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
478	TrustNet SmartStart Module Overview Modeling Software Interface FUNCTION: If your office uses specialized software to calculate modeled trades, we can write programs to exchange information for efficient automation. Add to Reading List Source URL: www.hwainternational.com Language: English - Date: 2015-04-30 14:17:49 Computing Information technology management Computer-aided design Mathematical software Software design Software Service-oriented architecture Software development
479	C-STEM Curriculum and Required Teaching Materials C-STEM Middle School Courses Math 7/8 with Computing • C-STEM Annual School Subscription • Ch Professional Edition Annual License • Optional Barobo Linkbot Packa Add to Reading List Source URL: c-stem.ucdavis.edu Language: English - Date: 2014-12-17 15:07:43 Ch Numerical software Cross-platform software Textbook Mathematica Mathematical software Software Application software

UPDATE